The leanote util package
